From: owner-standard-upper-ontology@listserv.ieee.org on behalf of John
F. Sowa [sowa@bestweb.net]
Sent: Thursday, November 04, 2004 9:47 PM
To: Murray Altheim
Cc: Pat Hayes; standard-upper-ontology@listserv.ieee.org; cg@cs.uah.edu;
cl@philebus.tamu.edu
Subject: Re: [CL] SWRL first-order logic

Murray,

We are very familiar with serialization syntaxes.

That is, in fact, the purpose of KIF:  it is an
excellent serialization syntax for logic that is
ideally suited to fast, efficient parsing.  The
same parser used for KIF could also be adapted
to a wide range of other languages as well.

'nuff said?

John